A Congruence modulo Four in Real Schubert Calculus
نویسندگان
چکیده
We establish a congruence modulo four in the real Schubert calculus on the Grassmannian of m-planes in 2m-space. This congruence holds for fibers of the Wronski map and a generalization to what we call symmetric Schubert problems. This strengthens the usual congruence modulo two for numbers of real solutions to geometric problems. It also gives examples of geometric problems given by fibers of a map whose degree is zero but where each fiber contains real points.
منابع مشابه
A Congruence modulo Four for Real Schubert Calculus with Isotropic Flags
We previously obtained a congruence modulo four for the number of real solutions to many Schubert problems on a square Grassmannian given by osculating flags. Here, we consider Schubert problems given by more general isotropic flags, and prove this congruence modulo four for the largest class of Schubert problems that could be expected to exhibit this congruence.
متن کامل0 N ov 2 01 2 A CONGRUENCE MODULO FOUR IN REAL SCHUBERT CALCULUS
We establish a congruence modulo four in the real Schubert calculus on the Grassmannian of m-planes in 2m-space. This congruence holds for fibers of the Wronski map and a generalization to what we call symmetric Schubert problems. This strengthens the usual congruence modulo two for numbers of real solutions to geometric problems. It also gives examples of geometric problems given by fibers of ...
متن کاملLower bounds in real Schubert calculus
We describe a large-scale computational experiment studying structure in the numbers of real solutions to osculating instances of Schubert problems. This investigation uncovered Schubert problems whose computed numbers of real solutions variously exhibit nontrivial upper bounds, lower bounds, gaps, and a congruence modulo four. We present a family of Schubert problems, one in each Grassmannian,...
متن کاملLehrstuhl Ff Ur Informatik Vii (rechnerarchitektur Und Verkehrstheorie) Observational Congruence in a Stochastic Timed Calculus with Maximal Progress Observational Congruence in a Stochastic Timed Calculus with Maximal Progress
During the last decade, CCS has been extended in diierent directions, among them priority and real time. One of the most satisfactory results for CCS is Milner's complete proof system for observational congruence 31]. Observational congruence is fair in the sense that it is possible to escape divergence, reeected by the axiom recX:(:X + P) = recX:::P. In this paper we discuss observational cong...
متن کاملCut Elimination in Deduction Modulo by Abstract Completion (Full Version)
Deduction Modulo implements Poincaré’s principle by identifying deduction and computation as different paradigms and making their interaction possible. This leads to logical systems like the sequent calculus or natural deduction modulo. Even if deduction modulo is logically equivalent to first-order logic, proofs in such systems are quite different and dramatically simpler with one cost: cut el...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2012